Some notes: First, we are planning on eventually implementing a skin setting that will allow the user to switch between css styles with significantly more flexibility than provided here. As this is not implemented and even, when it is a default will be needed, this poll serves to decide the current skin and the default